System programming - PDFSEARCH.IO - Document Search Engine

System programming
Results: 6665

#	Item
251	Introduction Function casts Object casts Status and conclusions Towards Gradual Typing in Python Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-04-23 14:36:54 Object-oriented programming languages High-level programming languages Scripting languages Cross-platform software Procedural programming languages Gradual typing Jython Type system Python D Go
252	ML Partial Evaluation using Set-Based Analysis Karoline Malmkjær Nevin Heintze February 1994 Olivier Danvy Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:08 Data types Subroutines Type theory Functional languages Procedural programming languages Closure Standard ML Type system Anonymous function Partial evaluation HindleyMilner type system ML
253	Using the SAG’s online event booking system The following details will set out how you can best use our new online event registration system to find out what is coming up in the Education Calendar and how to reserve y Add to Reading List Source URL: www.sag.org.au Language: English - Date: 2015-08-24 20:28:53 Payment systems Webmail Computer programming Event Subroutines Email EWay Outlook.com Credit card
254	System Description: iProver – An Instantiation-Based Theorem Prover for First-Order Logic Konstantin Korovin? The University of Manchester School of Computer Science Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2008-10-30 19:06:51 Automated theorem proving Logic in computer science Constraint programming Logic programming Rules of inference Resolution Boolean satisfiability problem Clause Small clause Reasoning system English relative clauses Unit propagation
255	Efficient Specialisation in Prolog Using a Hand-Written Compiler Generator Michael Leuschel and Jesper Jørgensen Declarative Systems and Software Engineering Group Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:03 Programming paradigms Programming language implementation Functional languages Evaluation strategy Partial evaluation Type system Compiler Prolog Logic programming XPL Interpreter Generic programming
256	Preface This book (CS:APP) is for computer scientists, computer engineers, and others who want to be able to write better programs by learning what is going on “under the hood” of a computer system. Our aim is to exp Add to Reading List Source URL: csapp.cs.cmu.edu Language: English - Date: 2009-10-05 18:38:15 Software Parallel computing Assembly language Programming language implementation Unix Operating system Computer program D Kernel Mach Computer Programming language
257	1 The Distributed Constraint Satisfaction Problem: Formalization and Algorithms IEEE Trans. on Knowledge and DATA Engineering, vol.10, No.5 September 1998 Makoto Yokoo, Edmund H. Durfee, Toru Ishida, and Kazuhiro Kuwaba Add to Reading List Source URL: agent.inf.kyushu-u.ac.jp Language: English - Date: 2016-07-21 01:26:16 Constraint programming Constraint satisfaction problem Constraint satisfaction Backtracking Multi-agent system Local consistency Interchangeability algorithm
258	DMTCP: Transparent Checkpointing for Cluster Computations and the Desktop Jason Ansel∗ ∗ Kapil Arya† Add to Reading List Source URL: dmtcp.sourceforge.net Language: English - Date: 2009-02-16 14:54:24 Parallel computing Fault-tolerant computer systems Concurrent computing Application checkpointing Application programming interfaces Checkpoint Message Passing Interface Prelink Computer cluster Thread Single system image CRIU
259	SPECIAL SECTION DISTRIBUTED PROGRAMMING IN ARGU!S Argus-a programming language and system developed to support the implementation and execution of distributed programs-provides mechanisms that help programmers cope with Add to Reading List Source URL: css.csail.mit.edu Language: English - Date: 2014-12-08 14:33:01 Transaction processing Concurrency control Data management Databases Unix signal Lock Linearizability Hash table File locking Serializability Monitor Two-phase commit protocol
260	Scalable data acquisition with CAN port The Siquad data acquisition system of GHM Messtechnik detects sensor data quickly and accurately. Its m odular design allow s for rapid adjustm ent to differing m easurem ent task Add to Reading List Source URL: www.ghm-messtechnik.de Language: English - Date: 2016-08-01 02:52:01 Interface Object-oriented programming EtherCAT

UPDATE